== Case TERMOF{decidable es-locl:ObjectId, 1:l, i:l}(es,e',e) of
== inl(x)
true
== inr(x)
false
clarification:
es-bless{i:l}
es-bless(es; e; e')
== Case TERMOF{decidable es-locl:ObjectId, 1:l, i:l}(es,e',e) of
== inl(x)
true
== inr(x)
false